Overview of tasking concepts. Real-time scheduling: rate monotonic algorithm and priority ceiling protocols. Static versus dynamic scheduling and real-time kernels. Real-time case studies; for example; cruise control, robot controller, elevator control and distributed factory automation systems. SCADA systems. Quality control. Fault tolerance. Formal methods. Specifications, testing and maintenance of real-time systems. -- Course Website